$\forall$${\it es}$:ES, $P$, $Q$:(E$\rightarrow\mathbb{P}$), $f$:(\{$e$:E$\mid$ $P$($e$)\} $\rightarrow$E). $Q$ $\leftarrow\leftarrow$= $f$== $P$ $\in$ $\mathbb{P}$